function set_to_search_bar()
{
    document.getElementById("search").focus();
}